maximal separable extension
finitely generated extension field
central extension field
finite dimensional extension field
degree of a field extension
extension of turbulence field
separable algebraic extension
separable transcendental extension
separably generated field extension
extension of base field
extension of the residue field